- die Fallunterscheidung
- - {fall differentiation}
Deutsch-Vietnamesisch Wörterbuch. 2015.
Deutsch-Vietnamesisch Wörterbuch. 2015.
Fallunterscheidung — Bedingung * * * Fallunterscheidung [engl. case differentiation] (Falluntersuchung), Form einer Kontrollstruktur, bei der im Ablauf eines Programms eine Bedingung geprüft wird und in Abhängigkeit vom Ergebnis eine Programmverzweigung eingeleitet … Universal-Lexikon
Hebbare Definitionslücke — Die stetig behebbare oder hebbare Definitionslücke tritt unter anderem bei Funktionen der Mathematik auf, die aus der Division einer Funktion durch eine zweite entstehen. Formal geschrieben sei . Prinzipiell können sowohl u(x) als auch v(x) den… … Deutsch Wikipedia
Stetig behebbare Definitionslücke — Die stetig behebbare oder hebbare Definitionslücke tritt unter anderem bei Funktionen der Mathematik auf, die aus der Division einer Funktion durch eine zweite entstehen. Formal geschrieben sei . Prinzipiell können sowohl u(x) als auch v(x) den… … Deutsch Wikipedia
Stetige Fortsetzung — Die stetig behebbare oder hebbare Definitionslücke tritt unter anderem bei Funktionen der Mathematik auf, die aus der Division einer Funktion durch eine zweite entstehen. Formal geschrieben sei . Prinzipiell können sowohl u(x) als auch v(x) den… … Deutsch Wikipedia
Zuker-Algorithmus — Der Zuker Algorithmus berechnet die optimale Sekundärstruktur einer RNA Sequenz mit der minimalen freien Energie unter einem gegebenen thermodynamischen Modell. Es ist also ein Algorithmus zur RNA Strukturvorhersage. Der Algorithmus verwendet die … Deutsch Wikipedia
Beweis (Mathematik) — Ein Beweis ist in der Mathematik die als fehlerfrei anerkannte Herleitung der Richtigkeit oder auch Unrichtigkeit einer Aussage aus einer Menge von Axiomen, die als wahr vorausgesetzt werden, und anderen Aussagen, die bereits bewiesen sind. Man… … Deutsch Wikipedia
Mathematische Beweismethode — Ein Beweis ist in der Mathematik die als fehlerfrei anerkannte Herleitung der Richtigkeit oder auch Unrichtigkeit einer Aussage aus einer Menge von Axiomen, die als wahr vorausgesetzt werden, und anderen Aussagen, die bereits bewiesen sind. Man… … Deutsch Wikipedia
Mathematischer Beweis — Ein Beweis ist in der Mathematik die als fehlerfrei anerkannte Herleitung der Richtigkeit oder auch Unrichtigkeit einer Aussage aus einer Menge von Axiomen, die als wahr vorausgesetzt werden, und anderen Aussagen, die bereits bewiesen sind. Man… … Deutsch Wikipedia
Mathematisches Beweisen — Ein Beweis ist in der Mathematik die als fehlerfrei anerkannte Herleitung der Richtigkeit oder auch Unrichtigkeit einer Aussage aus einer Menge von Axiomen, die als wahr vorausgesetzt werden, und anderen Aussagen, die bereits bewiesen sind. Man… … Deutsch Wikipedia
Gentzenkalkül — Der Sequenzenkalkül (manchmal auch Gentzenkalkül) ist ein von Gerhard Gentzen entwickelter, primär für metalogische Zwecke konzipierter logischer Kalkül. Inhaltsverzeichnis 1 Notationen und Konventionen 2 Definition 3 Regeln des Sequenzenkalküls… … Deutsch Wikipedia
Nussinov-Algorithmus — Eine von dem Nussinov Algorithmus berechnete optimale Sekundärstruktur einer RNA Sequenz aus einem Viren Genom. Sie hat 18 Basenpaare und es existieren 41 weitere co optimale Sekundärstrukturen dieser Eingabesequenz mit 18 Basenpaaren. Der… … Deutsch Wikipedia